Nuprl Definition : so_apply3 13,42
x(s1,s2,s3) == x(s1,s2,s3) 
latex

Upcore 2, core 2
Definitionsf(a)
FDL editor aliasesso_apply3

origin